package ch.epfl.lara.fdsolver

class Constraint extends (Instance => Boolean)
